1. Axiomatic method and category theory
پدیدآورنده : Rodin, Andrei, Andrei Rodin
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Axiomatic set theory,، Categories )Mathematics(,، Philosophy,، Epistemology,، Category Theory, Homological Algebra,، Mathematical Logic and Foundations
رده :
QA248
2. From a Geometrical Point Of View :
پدیدآورنده : by Jean-Pierre Marquis.
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : Categories (Mathematics)-- History.,Categories (Mathematics)-- Philosophy.,Functor theory.,Algebraic logic., (مقولات (ریاضیات
رده :
QA169
.
M387
2009
3. From a Geometrical Point of View
پدیدآورنده : \ by Jean-Pierre Marquis
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Categories (Mathematics) -- History. ,Categories (Mathematics) -- Philosophy,رسته‌ها (ریاضیات) -- تاریخ,رسته‌ها (ریاضیات) -- فلسفه
رده :
E-Book
,
4. From a geometrical point of view
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ; Functor theory. ; Algebraic logic. ;
5. From a geometrical point of view : a study of the history and philosophy of category theory
پدیدآورنده : Marquis, Jean-Pierre
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Philosophy ، Categories )Mathematics(
رده :
QA
169
.
M36F7
6. From a geometrical point of view: a study of the history and philosophy of category theory
پدیدآورنده : Marquis, Jean-Pierre
موضوع : ، Categories )Mathematics(-- History,، Categories )Mathematics(-- Philosophy
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
7. The age of alternative logics :
پدیدآورنده : edited by Johan van Benthem ... [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Philosophy),Logic, Symbolic and mathematical,Mathematics-- Philosophy,Proof theory
رده :
BC135
.
A39
2006
8. The age of alternative logics : assessing philosophy of logic and mathematics today
پدیدآورنده : edited by Johan van Benthem... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A35
9. The age of alternative logics: assessing philosophy of logic and mathematics today
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy,، Proof theory,، Categories )Philosophy(
رده :
BC
135
.
A39
2006
10. Tool and object
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Categories (Mathematics) ; History. ; Categories (Mathematics) ; Philosophy. ;
11. Tool and object :
پدیدآورنده : Ralf Krömer
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Categories (Mathematics)-- History,Categories (Mathematics)-- Philosophy
رده :
QA169
.
K76
2007
12. Tool and object : a history and philosophy of category theory
پدیدآورنده : Kromer, Ralf
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : History ، Categories )Mathematics(,Philosophy ، Categories )Mathematics(
رده :
QA
169
.
K76T6
13. Tool and object: a history and philosophy of category theory
پدیدآورنده : Kromer, Ralf
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Categories )Mathematics(-- History,، Categories )Mathematics(-- Philosophy
رده :
QA
169
.
K76
2007
